ON TEMPORAL PLANNING AND REASONING WITH POINT-INTERVAL LOGIC by Syed Muhammad Mashhood Ishaque A Thesis Submitted to the Graduate Faculty of

Source URL: www.eecs.tufts.edu

• Algorithm
• Mathematical logic
• Theoretical computer science
• Graph of a function
• Mathematics
• Academia
• Abstraction

Synthesizing Bots Emotional Behaviors through Fuzzy Cognitive Processes Giovanni Acampora, Member, IEEE, Fabio Ferraguto, and Vincenzo Loia , Senior Member, IEEE Abstract— Video games are one of the most significative

Source URL: game.itu.dk

• Artificial intelligence
• Control engineering
• Fuzzy logic
• Logic in computer science
• Fuzzy control system
• Timed automaton
• Petri net
• Control system
• Finite-state machine
• Emotion
• Computational intelligence

Formal Verification of Hardware Synthesis Thomas Braibant1 and Adam Chlipala2 1 Inria

Source URL: plv.csail.mit.edu

• Programming idioms
• Computability theory
• Functional programming
• Logic in computer science
• Models of computation
• Recursion
• Denotational semantics
• Monad
• FO
• Valuation
• Static single assignment form

  S UBMISSION G UIDELINES 15 th CONGRESS OF LOGIC, METHODOLOGY, AND PHILOSOPHY OF SCIENCE (CLMPS 2015)

Source URL: clmps.helsinki.fi

Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨

Source URL: www.cs.rhul.ac.uk

xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

H A R D WA R E A N D S O F T WA R E F O R A P P R O X I M AT E C O M P U T I N G adrian sampson A dissertation submitted in partial fulfillment of the

Source URL: homes.cs.washington.edu

• Logic in computer science
• Formal methods
• Semantics
• Pi
• Probability

Lecture 10: Graph Data Structures Steven Skiena Department of Computer Science State University of New York Stony Brook, NY 11794–4400

Source URL: www3.cs.stonybrook.edu

• Graph theory
• Graph
• Directed graph
• Dense graph
• Ear decomposition
• Vertex
• Connected component
• Line graph
• Logic of graphs

A T-Box Generator for testing scalability of OWL mereotopological patterns Martin Boeker1? , Janna Hastings2 , Daniel Schober1 , and Stefan Schulz3 1 3

Source URL: webont.org

• Ontology
• Knowledge engineering
• Semantic Web
• Information science
• Knowledge
• Knowledge representation
• Information
• Web Ontology Language
• Description logic
• Semantic reasoner
• Mereotopology
• Gene ontology

What will they say? – Public Announcement Games Thomas ˚ Agotnes∗ Department of Information Science and Media Studies, University of Bergen, P.O. Box 7802, N-5020 Bergen, Norway,

Source URL: folk.uib.no

• Logic
• Modal logic
• Philosophy
• Formal epistemology
• Abstraction
• Artificial intelligence
• Non-classical logic
• Philosophical logic
• Dynamic epistemic logic
• Common knowledge
• Epistemic modal logic
• Kripke semantics